Wyniki
-
On the proof-theory of a first-order extension of GL
Yehuda Schwartz, George Tourlakis
Logic and Logical Philosophy , 23 /3 (2014) s. 329-363
Yehuda Schwartz,
George Tourlakis
Logic and Logical Philosophy
, 23
/3
(2014)
s. 329-363